LEB(i) 20 So then, O king, ⌊whenever you want⌋* to come down, come down, and it will be for us to deliver him into the hand of the king."